axiom of congruence

全等公理